T. Hirashima et al. (EdsProceedings of the 19th International Conference on Computers in Education. Chiang Mai, Thailand: Asia-Pacific Society for Computers in Education Algorithm Learning Environment for Link

Source URL: www.nectec.or.th

• Algorithm
• Mathematical logic
• Theoretical computer science
• Pointer
• Stack
• Linked list
• C
• Programming language
• Computing
• Software engineering
• Computer programming

Submitted to the Technical Communications of the International Conference on Logic Programming (ICLP’10) http://www.floc-conference.org/ICLP-home.html A Framework for Verification and Debugging of Resource Usage Proper

Source URL: clip.dia.fi.upm.es

Submitted to the Technical Communications of the International Conference on Logic Programming (ICLP’10) http://www.floc-conference.org/ICLP-home.html CONTRACTIBILITY AND CONTRACTIBLE APPROXIMATIONS OF SOFT GLOBAL CONS

Source URL: seit.unsw.adfa.edu.au

Manuel Hermenegildo Areas of Interest Energy-Aware Computing, Resource / non-functional property analysis, verification, and control; Global Program Analysis, Optimization, Verification, Debugging; Abstract Interpretatio

Source URL: www.clip.dia.fi.upm.es

• Programming paradigms
• Formal sciences
• Association for Computing Machinery
• Principles of Programming Languages
• Formal methods
• International Conference on Logic Programming
• Logic programming
• International Symposium on Logic-based Program Synthesis and Transformation
• Lecture Notes in Computer Science
• Computer science
• Computing
• Software engineering

facultad de inform´ atica universidad polit´ecnica de madrid CLIP Group Publications by Topic The CLIP Group

Source URL: clip.dia.fi.upm.es

• Formal sciences
• International Conference on Logic Programming
• CiteSeer
• Computer science
• Programming language
• Logic
• International Chinese Language Program
• Academia
• Science
• Knowledge

AIJ  11th  call  for  sponsorship  applications Event INNS  BIg  Data  Conference Interdisciplinary  College  IK  2015 IJCAI  2015  Workshop  on  Cognitive   Knowledge  

Source URL: aij.ijcai.org

• Computer science
• Logic programming
• International Joint Conference on Artificial Intelligence
• Actor model
• RuleML Symposium

Manuel Hermenegildo Areas of Interest Advanced Program Development Technology, Global Program Analysis / Optimization / Verification, Abstract Interpretation, Abstract Machines, Parallelizing Compilers, Resource-Aware Di

Source URL: clip.dia.fi.upm.es

• Formal sciences
• International Conference on Logic Programming
• Logic programming
• Association for Computing Machinery
• CiteSeer
• Federated Logic Conference
• International Symposium on Logic-based Program Synthesis and Transformation
• Logic
• Lecture Notes in Computer Science
• Computer science
• Science
• Computing

Stephanie Weirich School of Engineering and Science, University of Pennsylvania Levine 510, 3330 Walnut St, Philadelphia, PA 19104  •  • October 10, 2014 Education

Source URL: www.cis.upenn.edu

• Type theory
• Functional programming
• Logic in computer science
• Dependently typed programming
• Data types
• International Conference on Functional Programming
• Dependent type
• ICFP Programming Contest
• POPLmark challenge
• Software engineering
• Computing
• Programming language theory

Hongwei Xi Curriculum Vitæ February 25, 2010

Source URL: www.cs.bu.edu

• Type theory
• Functional languages
• Logic in computer science
• Lambda calculus
• Dependent ML
• Peter B. Andrews
• International Conference on Functional Programming
• Dependent type
• ATS
• Software engineering
• Programming language theory
• Computing

Hongwei Xi Curriculum Vitæ February 25, 2010

Source URL: cs-www.bu.edu

• Type theory
• Functional languages
• Logic in computer science
• Lambda calculus
• Dependent ML
• Peter B. Andrews
• International Conference on Functional Programming
• Dependent type
• ATS
• Software engineering
• Programming language theory
• Computing